Skip to content

Conversation

@Urgau
Copy link
Member

@Urgau Urgau commented Oct 11, 2025

This PR improves #2198 by making the timestamps visually unselect-able/uncopyable.

This is done by putting the timestamps in a "floating" ::before element, which has the consequence of making the element actually uncopyable.

This also simplifies the implementation of our copy event by removing the timestamps removal as they are no longer select-able. This also as the advantage that partial selection of a timestamp does not leave it in the copy.

image

@Urgau Urgau requested a review from Kobzol October 11, 2025 12:05
@Urgau Urgau force-pushed the gha-logs-better-uncopy branch from 54cad7a to afd212f Compare October 11, 2025 12:26
@Kobzol
Copy link
Member

Kobzol commented Oct 12, 2025

Cool solution.

@Kobzol Kobzol added this pull request to the merge queue Oct 12, 2025
Merged via the queue into rust-lang:master with commit b6ec119 Oct 12, 2025
3 checks passed
Urgau added a commit to Urgau/triagebot that referenced this pull request Oct 13, 2025
…uncopy"

This reverts commit b6ec119, reversing
changes made to a983074.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants